Large scale simulations of Railroad Nets
نویسندگان
چکیده
In this paper we will describe our experiences with modelling and simulating realistic railroad systems, based on component-oriented Petri Nets. Several libraries of railroad components are presented, including nets permitting the train to control the routers in the net. Petri Nets are translated into Maude in an automated way, and executed by the Maude interpreter. Since railroad models are large, the time and space complexity of executing them are challenging. Maude is able to execute the nets with a realistic number of trains fast enough to accommodate industrial requirements. As a case study, the entire Oslo Subway System is modeled including every line, turnout and track-section, and executed with as many trains running concurrently as in the real subway.
منابع مشابه
Access control in ultra-large-scale systems using a data-centric middleware
The primary characteristic of an Ultra-Large-Scale (ULS) system is ultra-large size on any related dimension. A ULS system is generally considered as a system-of-systems with heterogeneous nodes and autonomous domains. As the size of a system-of-systems grows, and interoperability demand between sub-systems is increased, achieving more scalable and dynamic access control system becomes an im...
متن کاملLarge-eddy simulation of turbulent flow over an array of wall-mounted cubes submerged in an emulated atmospheric boundary-layer
Turbulent flow over an array of wall-mounted cubic obstacles has been numerically investigated using large-eddy simulation. The simulations have been performed using high-performance computations with local cluster systems. The array of cubes are fully submerged in a simulated deep rough-wall atmospheric boundary-layer with high turbulence intensity characteristics of environmental turbulent fl...
متن کاملExtracting High-Level Information from Petri Nets: A Railroad Case
We show how useful simulation and control applications can be built on Petri nets by adding an object-oriented transformation framework called “views”. Petri nets were integrated into the Common Lisp Object System in such a way that the usual objectoriented features, such as classes, object creation, encapsulation, and inheritance, also work for Petri nets. This modified object system allows vi...
متن کاملSolving Fuzzy Equations Using Neural Nets with a New Learning Algorithm
Artificial neural networks have the advantages such as learning, adaptation, fault-tolerance, parallelism and generalization. This paper mainly intends to offer a novel method for finding a solution of a fuzzy equation that supposedly has a real solution. For this scope, we applied an architecture of fuzzy neural networks such that the corresponding connection weights are real numbers. The ...
متن کاملInfluences of Small-Scale Effect and Boundary Conditions on the Free Vibration of Nano-Plates: A Molecular Dynamics Simulation
This paper addresses the influence of boundary conditions and small-scale effect on the free vibration of nano-plates using molecular dynamics (MD) and nonlocal elasticity theory. Based on the MD simulations, Large-scale Atomic/Molecular Massively Parallel Simulator (LAMMPS) is used to obtain fundamental frequencies of single layered graphene sheets (SLGSs) which modeled in this paper as the mo...
متن کامل